Properly forking formulas in Urysohn spaces
نویسنده
چکیده
In this informal note, we demonstrate the existence of forking and nondividing formulas in continuous theory of the complete Urysohn sphere, as well as the discrete theories of the integral Urysohn spaces of diameter n (where n ≥ 3). Whether or not such formulas existed was asked in thesis work of the author, as well as joint work with Terry. We also show an interesting phenomenon in that, for n = 3, forking and dividing over ∅ are the same for formulas in the integral Urysohn sphere of diameter n, while this is not the case for (at least) n ≥ 8.
منابع مشابه
The Urysohn, completely Hausdorff and completely regular axioms in $L$-fuzzy topological spaces
In this paper, the Urysohn, completely Hausdorff and completely regular axioms in $L$-topological spaces are generalized to $L$-fuzzy topological spaces. Each $L$-fuzzy topological space can be regarded to be Urysohn, completely Hausdorff and completely regular tosome degree. Some properties of them are investigated. The relations among them and $T_2$ in $L$-fuzzy topological spaces are discussed.
متن کاملTHE URYSOHN AXIOM AND THE COMPLETELY HAUSDORFF AXIOM IN L-TOPOLOGICAL SPACES
In this paper, the Urysohn and completely Hausdorff axioms in general topology are generalized to L-topological spaces so as to be compatible with pointwise metrics. Some properties and characterizations are also derived
متن کاملWeakly Continuously Urysohn Spaces
We study weakly continuously Urysohn spaces, which were introduced in [Z]. We show that every weakly continuously Urysohn w∆-space has a base of countable order, that separable weakly continuously Urysohn spaces are submetrizable, hence continuously Urysohn, that monontonically normal weakly continuously Urysohn spaces are hereditarily paracompact, and that no linear extension of any uncountabl...
متن کاملThorn-forking in continuous logic
We study thorn forking and rosiness in the context of continuous logic. We prove that the Urysohn sphere is rosy (with respect to finitary imaginaries), providing the first example of an essentially continuous unstable theory with a nice notion of independence. In the process, we show that a real rosy theory which has weak elimination of finitary imaginaries is rosy with respect to finitary ima...
متن کاملRamsey Degrees of Finite Ultrametric Spaces, Ultrametric Urysohn Spaces and Dynamics of Their Isometry Groups
We study Ramsey-theoretic properties of several natural classes of finite ultrametric spaces, describe the corresponding Urysohn spaces and compute a dynamical invariant attached to their isometry groups.
متن کامل